Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
191	Topical Applications of Mathematics Champions League TEACHER INFORMATION Key Stage Add to Reading List Source URL: www.cimt.plymouth.ac.uk Language: English - Date: 2008-03-11 06:09:03 Probability Combinatory logic
192	Genuinely Functional User Interfaces Antony Courtney 1,2 Dept. of Computer Science Yale University New Haven, CT 06520 Add to Reading List Source URL: conal.net Language: English - Date: 2001-09-17 19:15:42 Lambda calculus Digital electronics Logic in computer science Digital signal processing Fixed-point combinator Recursion Transformer Monad Combinatory logic Theoretical computer science Electronic engineering Applied mathematics
193	On Combinatorial Generation of Prefix Normal Words P´ eter Burcsi, Gabriele Fici, Zsuzsanna Lipt´ ak, Frank Ruskey, and Joe Sawada Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2014-06-14 17:49:16 Frank Ruskey Theoretical computer science Substring String Hexadecimal Combinatory logic Mathematics Linguistics Combinatorics on words
194	Learning Structured Models with the AUC Loss and Its Generalizations Nir Rosenfeld Hebrew University Jerusalem, Israel Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2014-02-23 18:33:30 Structured SVM Regression analysis Econometrics Structured prediction American University in Cairo Receiver operating characteristic Combinatory logic Logistic regression Bayesian network Statistics Statistical classification Machine learning
195	The Arbitrariness of Variable Names Are the following two programs equavalent? (define (f x) (+ x 1)) (fdefine (f y) (+ y 1)) Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Lambda calculus Variables Predicate logic Data types Free variables and bound variables Function Combinatory logic Mathematics Software engineering Elementary mathematics
196	1 Monadic Parser Combinators Graham Hutton University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-04-05 05:58:42 Parsing Adjoint functors Computer programming Computing Parser combinator Monad Recursive descent parser Compiler-compiler Combinatory logic Functional programming Formal languages Software engineering
197	Self-Reproducing Programs in Common Lisp Peter Norvig Computer Science Division, University of California Berkeley, CA 94720 Add to Reading List Source URL: www.norvig.com Language: English - Date: 2003-10-26 19:45:42 Lisp programming language Lambda calculus Functional languages Functional programming Lisp Eval Combinatory logic Scheme Lambda Software engineering Computing Computer programming
198	A better future for comprehensions Dave Herman [for (x of y) if (p(x)) f(x)] (for (x of y) if (p(x)) f(x)) Add to Reading List Source URL: esdiscuss.org Language: English Lambda calculus Punctuation Vertical bar Combinatory logic Language Integrated Query Generator Constructible universe List comprehension Computing Software engineering Computer programming
199	could be restricted to those for whi ch thi s promi se can be kept. Whi l e the mechani sms descri bed i n the PT proposal are onl y tangenti al l y rel evant to thi s i ssue { the same probl em woul d have ari sen i n d Add to Reading List Source URL: gee.cs.oswego.edu Language: English - Date: 2000-01-18 10:01:40 Lambda calculus Recursion Applied mathematics English phonology Theoretical computer science Combinatory logic Fixed-point combinator
200	Everything old is new again: Quoted Domain Specific Languages Shayan Najd Sam Lindley Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-15 07:34:21 Lambda calculus Type theory Combinatory logic Fixed-point combinator Recursion Type system Monad Declaration First-order logic Theoretical computer science Software engineering Mathematical logic

UPDATE